def get_inc():Int->Int {
    return $var x:Int => x + 1;
}

print(get_inc()(2));
